The Crystal Structure of Di-mu-bromo-mu-1,2-cyclohexylenetetrabromoditellurium, Te2Br6C6H10.

Hopf algebroids and the structure of MU∗(MU)

How mu h 1 How mu h 1 How mu h 12

How mu h 1 How mu h 1 How mu h 12 wood 2 wood 2

On the possible volume of $mu$-$(v,k,t)$ trades

‎A $mu$-way $(v,k,t)$ $trade$ of volume $m$ consists of $mu$‎ ‎disjoint collections $T_1$‎, ‎$T_2‎, ‎dots T_{mu}$‎, ‎each of $m$‎ ‎blocks‎, ‎such that for every $t$-subset of $v$-set $V$ the number of‎ ‎blocks containing this t-subset is the same in each $T_i (1leq‎ ‎i leq mu)$‎. ‎In other words any pair of collections ${T_i,T_j}$‎, ‎$1leq i< j leq mu‎$ is a $(v,k,t)$ trade of volume $m$. In th...

Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term language and a cut-elimination reduction already exist for superdeduction, both based on Christian Urban’s work on classical sequent calculus. However the compu...